formal axiomatics
形式公理学
热门查询
- oilskin n. 油布；油布雨衣
- pen n. 钢笔；作家；围栏 vt. 写；关入栏中 n. (Pen)人名；(法)庞；(俄、塞、英、意)佩恩；(柬)宾
- singsong n. 单调的节奏 adj. 单调的 vt. 声调很平地说；单调地唱 vi. 单调地唱；声调很平地说话
- summarization n. [图情] 摘要；概要
- convoluted adj. 复杂的；费解的；旋绕的 v. 盘绕；缠绕（convolute的过去分词）
- chain n. 链；束缚；枷锁 vt. 束缚；囚禁；用铁链锁住
- tinted adj. 着色的，带色彩的
- mulligan n. （美）一种什锦羹 n. (Mulligan)人名；(英)马利根
- irrecoverable adj. 不能挽回的；不能复原的；不能收回的
- elizabeth n. 伊丽莎白（女子名）
- orangeman n. 奥兰治党员, 橙带党员
- internist n. [内科] 内科医生
- coalitional adj. coalition（联合，结合；结合体）的变形
- errant adj. 不定的；周游的；错误的；偏离正路的
- spin n. 旋转；疾驰 vi. 旋转；纺纱；吐丝；晕眩 vt. 使旋转；纺纱；编造；结网
- craven adj. 畏缩的；怯懦的 n. 懦夫 n. (Craven)人名；(意)克拉文；(英)克雷文
- linden n. 椴；菩提树 adj. 椴科植物的 n. (Linden)人名；(英、德、罗、瑞典、荷、挪)林登
- bae abbr. Beacon antenna equipment 信标天线设备
- individualise v. 赋予个性，使个体化
- infeasible adj. 不可实行的
考试词汇表
- duplex steam piston pump
- duplex tandem compressor
- duplex telegraph circuit
- duplex-spiral classifier
- duplex-type Bourdon-tube
- duplexed computer system
- duplicate bill of lading
- duplicate copy of policy
- duplicate deposit ticket
- duplicate plate moulding
- duplicate procedure name
- duplicate stripper plate
- duplicated gene sequence
- duplication of diaphragm
- duplication of equipment
- duplication of esophague
- duplication of esophagus
- duplication of intestine
- duplication of the thumb
- dura mate of spinal cord
